Name:
ISO/IEC 13817-1:1996 PDF
Published Date:
12/01/1996
Status:
Active
Publisher:
International Organization for Standardization/International Electrotechnical Commission
Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.
| File Size : | 1 file , 24 MB |
| Note : | This product is unavailable in Russia, Ukraine, Belarus |
| Number of Pages : | 399 |
| Published : | 12/01/1996 |
| Same As : | ISO/IEC 13817-1:1996 |
